TASCCC - Project and Testing Tool (poster and demo)
Identifieur interne : 001F13 ( Main/Exploration ); précédent : 001F12; suivant : 001F14TASCCC - Project and Testing Tool (poster and demo)
Auteurs : Kalou Cabrera Castillos [France] ; Frédéric Dadeau [France] ; Yves Ledru [France] ; Lydie Du Bousquet [France] ; Taha Triki [France] ; Safouan Taha [France] ; Bruno Legeard [France] ; Julien Botella [France] ; Boutheina Chetali [France] ; Bernet Julien ; David RouillardSource :
Abstract
no abstract
Url:
Affiliations:
- France
- Auvergne-Rhône-Alpes, Franche-Comté, Grand Est, Lorraine (région), Rhône-Alpes
- Belfort, Besançon, Grenoble, Metz, Nancy
- Université Joseph Fourier, Université Pierre-Mendès-France, Université de Bourgogne Franche-Comté, Université de Franche-Comté, Université de Grenoble, Université de Lorraine, Université de technologie de Belfort-Montbéliard
Links toward previous steps (curation, corpus...)
- to stream Hal, to step Corpus: 004992
- to stream Hal, to step Curation: 004992
- to stream Hal, to step Checkpoint: 001908
- to stream Main, to step Merge: 001F41
- to stream Main, to step Curation: 001F13
Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">TASCCC - Project and Testing Tool (poster and demo)</title><author><name sortKey="Cabrera Castillos, Kalou" sort="Cabrera Castillos, Kalou" uniqKey="Cabrera Castillos K" first="Kalou" last="Cabrera Castillos">Kalou Cabrera Castillos</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-189789" status="VALID"><idno type="RNSR">200318302K</idno><orgName>Combination of approaches to the security of infinite states systems</orgName><orgName type="acronym">CASSIS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/cassis</ref></desc><listRelation><relation active="#struct-423084" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-866" type="direct"></relation><relation active="#struct-242365" type="indirect"></relation><relation active="#struct-300261" type="indirect"></relation><relation active="#struct-300360" type="indirect"></relation><relation name="UMR6174" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-423084" type="direct"><org type="department" xml:id="struct-423084" status="VALID"><orgName>Department of Formal Methods </orgName><orgName type="acronym">LORIA - FM</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-866" type="direct"><org type="laboratory" xml:id="struct-866" status="VALID"><idno type="IdRef">152639071</idno><idno type="RNSR">200412232H</idno><orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies</orgName><orgName type="acronym">FEMTO-ST</orgName><desc><address><addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine><country key="FR"></country></address><ref type="url">http://www.femto-st.fr</ref></desc><listRelation><relation active="#struct-242365" type="direct"></relation><relation active="#struct-300261" type="direct"></relation><relation active="#struct-300360" type="direct"></relation><relation name="UMR6174" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-242365" type="indirect"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle><tutelle active="#struct-300261" type="indirect"><org type="institution" xml:id="struct-300261" status="VALID"><orgName>Université de Technologie de Belfort-Montbeliard</orgName><orgName type="acronym">UTBM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300360" type="indirect"><org type="institution" xml:id="struct-300360" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName><orgName type="acronym">ENSMM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle name="UMR6174" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName><placeName><settlement type="city" wicri:auto="siege">Belfort</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de technologie de Belfort-Montbéliard</orgName></affiliation></author><author><name sortKey="Dadeau, Frederic" sort="Dadeau, Frederic" uniqKey="Dadeau F" first="Frédéric" last="Dadeau">Frédéric Dadeau</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-189789" status="VALID"><idno type="RNSR">200318302K</idno><orgName>Combination of approaches to the security of infinite states systems</orgName><orgName type="acronym">CASSIS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/cassis</ref></desc><listRelation><relation active="#struct-423084" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-866" type="direct"></relation><relation active="#struct-242365" type="indirect"></relation><relation active="#struct-300261" type="indirect"></relation><relation active="#struct-300360" type="indirect"></relation><relation name="UMR6174" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-423084" type="direct"><org type="department" xml:id="struct-423084" status="VALID"><orgName>Department of Formal Methods </orgName><orgName type="acronym">LORIA - FM</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-866" type="direct"><org type="laboratory" xml:id="struct-866" status="VALID"><idno type="IdRef">152639071</idno><idno type="RNSR">200412232H</idno><orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies</orgName><orgName type="acronym">FEMTO-ST</orgName><desc><address><addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine><country key="FR"></country></address><ref type="url">http://www.femto-st.fr</ref></desc><listRelation><relation active="#struct-242365" type="direct"></relation><relation active="#struct-300261" type="direct"></relation><relation active="#struct-300360" type="direct"></relation><relation name="UMR6174" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-242365" type="indirect"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle><tutelle active="#struct-300261" type="indirect"><org type="institution" xml:id="struct-300261" status="VALID"><orgName>Université de Technologie de Belfort-Montbeliard</orgName><orgName type="acronym">UTBM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300360" type="indirect"><org type="institution" xml:id="struct-300360" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName><orgName type="acronym">ENSMM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle name="UMR6174" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName><placeName><settlement type="city" wicri:auto="siege">Belfort</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de technologie de Belfort-Montbéliard</orgName></affiliation></author><author><name sortKey="Ledru, Yves" sort="Ledru, Yves" uniqKey="Ledru Y" first="Yves" last="Ledru">Yves Ledru</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-401585" status="INCOMING"><orgName>VASCO</orgName><desc><address><country key="FR"></country></address></desc><listRelation><relation active="#struct-24471" type="direct"></relation><relation active="#struct-300275" type="indirect"></relation><relation active="#struct-51016" type="direct"></relation><relation active="#struct-3886" type="indirect"></relation><relation name="UMR5217" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-24471" type="direct"><org type="laboratory" xml:id="struct-24471" status="VALID"><orgName>Laboratoire d'Informatique de Grenoble</orgName><orgName type="acronym">LIG</orgName><desc><address><addrLine>UMR 5217 - Laboratoire LIG - 38041 Grenoble cedex 9 - France Tél. : +33 (0)4 76 51 43 61 - Fax : +33 (0)4 76 51 49 85</addrLine><country key="FR"></country></address><ref type="url">http://www.liglab.fr/</ref></desc><listRelation><relation active="#struct-300275" type="direct"></relation><relation active="#struct-51016" type="direct"></relation><relation active="#struct-3886" type="direct"></relation><relation name="UMR5217" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300275" type="indirect"><org type="institution" xml:id="struct-300275" status="VALID"><orgName>Institut National Polytechnique de Grenoble (INPG)</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-51016" type="direct"><org type="institution" xml:id="struct-51016" status="OLD"><orgName>Université Joseph Fourier</orgName><orgName type="acronym">UJF</orgName><date type="end">2015-12-31</date><desc><address><addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine><country key="FR"></country></address><ref type="url">http://www.ujf-grenoble.fr/</ref></desc></org></tutelle><tutelle active="#struct-3886" type="indirect"><org type="institution" xml:id="struct-3886" status="OLD"><orgName>Université Pierre Mendès France</orgName><orgName type="acronym">Grenoble 2 UPMF</orgName><date type="end">2015-12-31</date><desc><address><addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine><country key="FR"></country></address><ref type="url">http://www.upmf-grenoble.fr/</ref></desc></org></tutelle><tutelle name="UMR5217" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Grenoble</settlement><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region></placeName><orgName type="university">Université Joseph Fourier</orgName><orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName><placeName><settlement type="city">Grenoble</settlement><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region></placeName><orgName type="university">Université Pierre-Mendès-France</orgName><orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName></affiliation></author><author><name sortKey="Du Bousquet, Lydie" sort="Du Bousquet, Lydie" uniqKey="Du Bousquet L" first="Lydie" last="Du Bousquet">Lydie Du Bousquet</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-390432" status="INCOMING"><orgName>VASCO</orgName><desc><address><country key="FR"></country></address></desc><listRelation><relation active="#struct-24471" type="direct"></relation><relation active="#struct-300275" type="indirect"></relation><relation active="#struct-51016" type="indirect"></relation><relation active="#struct-3886" type="indirect"></relation><relation name="UMR5217" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-24471" type="direct"><org type="laboratory" xml:id="struct-24471" status="VALID"><orgName>Laboratoire d'Informatique de Grenoble</orgName><orgName type="acronym">LIG</orgName><desc><address><addrLine>UMR 5217 - Laboratoire LIG - 38041 Grenoble cedex 9 - France Tél. : +33 (0)4 76 51 43 61 - Fax : +33 (0)4 76 51 49 85</addrLine><country key="FR"></country></address><ref type="url">http://www.liglab.fr/</ref></desc><listRelation><relation active="#struct-300275" type="direct"></relation><relation active="#struct-51016" type="direct"></relation><relation active="#struct-3886" type="direct"></relation><relation name="UMR5217" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300275" type="indirect"><org type="institution" xml:id="struct-300275" status="VALID"><orgName>Institut National Polytechnique de Grenoble (INPG)</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-51016" type="indirect"><org type="institution" xml:id="struct-51016" status="OLD"><orgName>Université Joseph Fourier</orgName><orgName type="acronym">UJF</orgName><date type="end">2015-12-31</date><desc><address><addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine><country key="FR"></country></address><ref type="url">http://www.ujf-grenoble.fr/</ref></desc></org></tutelle><tutelle active="#struct-3886" type="indirect"><org type="institution" xml:id="struct-3886" status="OLD"><orgName>Université Pierre Mendès France</orgName><orgName type="acronym">Grenoble 2 UPMF</orgName><date type="end">2015-12-31</date><desc><address><addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine><country key="FR"></country></address><ref type="url">http://www.upmf-grenoble.fr/</ref></desc></org></tutelle><tutelle name="UMR5217" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Grenoble</settlement><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region></placeName><orgName type="university">Université Joseph Fourier</orgName><orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName><placeName><settlement type="city">Grenoble</settlement><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region></placeName><orgName type="university">Université Pierre-Mendès-France</orgName><orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName></affiliation></author><author><name sortKey="Triki, Taha" sort="Triki, Taha" uniqKey="Triki T" first="Taha" last="Triki">Taha Triki</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-401585" status="INCOMING"><orgName>VASCO</orgName><desc><address><country key="FR"></country></address></desc><listRelation><relation active="#struct-24471" type="direct"></relation><relation active="#struct-300275" type="indirect"></relation><relation active="#struct-51016" type="direct"></relation><relation active="#struct-3886" type="indirect"></relation><relation name="UMR5217" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-24471" type="direct"><org type="laboratory" xml:id="struct-24471" status="VALID"><orgName>Laboratoire d'Informatique de Grenoble</orgName><orgName type="acronym">LIG</orgName><desc><address><addrLine>UMR 5217 - Laboratoire LIG - 38041 Grenoble cedex 9 - France Tél. : +33 (0)4 76 51 43 61 - Fax : +33 (0)4 76 51 49 85</addrLine><country key="FR"></country></address><ref type="url">http://www.liglab.fr/</ref></desc><listRelation><relation active="#struct-300275" type="direct"></relation><relation active="#struct-51016" type="direct"></relation><relation active="#struct-3886" type="direct"></relation><relation name="UMR5217" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300275" type="indirect"><org type="institution" xml:id="struct-300275" status="VALID"><orgName>Institut National Polytechnique de Grenoble (INPG)</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-51016" type="direct"><org type="institution" xml:id="struct-51016" status="OLD"><orgName>Université Joseph Fourier</orgName><orgName type="acronym">UJF</orgName><date type="end">2015-12-31</date><desc><address><addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine><country key="FR"></country></address><ref type="url">http://www.ujf-grenoble.fr/</ref></desc></org></tutelle><tutelle active="#struct-3886" type="indirect"><org type="institution" xml:id="struct-3886" status="OLD"><orgName>Université Pierre Mendès France</orgName><orgName type="acronym">Grenoble 2 UPMF</orgName><date type="end">2015-12-31</date><desc><address><addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine><country key="FR"></country></address><ref type="url">http://www.upmf-grenoble.fr/</ref></desc></org></tutelle><tutelle name="UMR5217" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Grenoble</settlement><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region></placeName><orgName type="university">Université Joseph Fourier</orgName><orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName><placeName><settlement type="city">Grenoble</settlement><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region></placeName><orgName type="university">Université Pierre-Mendès-France</orgName><orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName></affiliation></author><author><name sortKey="Taha, Safouan" sort="Taha, Safouan" uniqKey="Taha S" first="Safouan" last="Taha">Safouan Taha</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-239259" status="VALID"><orgName>SUPELEC Systems Sciences (E3S) - Computer Science Department</orgName><orgName type="acronym">SUPELEC Systems Sciences (E3S)</orgName><desc><address><addrLine>3 rue Joliot-Curie F-91192 Gif-sur-Yvette cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.supelec.fr/</ref></desc><listRelation><relation active="#struct-242365" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-242365" type="direct"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName></affiliation></author><author><name sortKey="Legeard, Bruno" sort="Legeard, Bruno" uniqKey="Legeard B" first="Bruno" last="Legeard">Bruno Legeard</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-203647" status="VALID"><orgName>Smartesting</orgName><desc><address><addrLine>TEMIS Innovation 18 Rue Alain Savary 25000 BESANCON</addrLine><country key="FR"></country></address><ref type="url">http://www.smartesting.com</ref></desc><listRelation><relation active="#struct-367314" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-367314" type="direct"><org type="institution" xml:id="struct-367314" status="INCOMING"><orgName>Smartesting</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Botella, Julien" sort="Botella, Julien" uniqKey="Botella J" first="Julien" last="Botella">Julien Botella</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-239873" status="VALID"><orgName>Smartesting</orgName><orgName type="acronym">Smartesting</orgName><desc><address><addrLine>Besançon</addrLine><country key="FR"></country></address></desc><listRelation><relation active="#struct-242365" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-242365" type="direct"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName></affiliation></author><author><name sortKey="Chetali, Boutheina" sort="Chetali, Boutheina" uniqKey="Chetali B" first="Boutheina" last="Chetali">Boutheina Chetali</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-243738" status="VALID"><orgName>GEMALTO</orgName><orgName type="acronym">GEMALTO</orgName><desc><address><country key="FR"></country></address><ref type="url">https://www.gemalto.com/</ref></desc><listRelation><relation active="#struct-242365" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-242365" type="direct"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName></affiliation></author><author><name sortKey="Julien, Bernet" sort="Julien, Bernet" uniqKey="Julien B" first="Bernet" last="Julien">Bernet Julien</name></author><author><name sortKey="Rouillard, David" sort="Rouillard, David" uniqKey="Rouillard D" first="David" last="Rouillard">David Rouillard</name></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-00953275</idno><idno type="halId">hal-00953275</idno><idno type="halUri">https://hal.inria.fr/hal-00953275</idno><idno type="url">https://hal.inria.fr/hal-00953275</idno><date when="2012">2012</date><idno type="wicri:Area/Hal/Corpus">004992</idno><idno type="wicri:Area/Hal/Curation">004992</idno><idno type="wicri:Area/Hal/Checkpoint">001908</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">001908</idno><idno type="wicri:Area/Main/Merge">001F41</idno><idno type="wicri:Area/Main/Curation">001F13</idno><idno type="wicri:Area/Main/Exploration">001F13</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">TASCCC - Project and Testing Tool (poster and demo)</title><author><name sortKey="Cabrera Castillos, Kalou" sort="Cabrera Castillos, Kalou" uniqKey="Cabrera Castillos K" first="Kalou" last="Cabrera Castillos">Kalou Cabrera Castillos</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-189789" status="VALID"><idno type="RNSR">200318302K</idno><orgName>Combination of approaches to the security of infinite states systems</orgName><orgName type="acronym">CASSIS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/cassis</ref></desc><listRelation><relation active="#struct-423084" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-866" type="direct"></relation><relation active="#struct-242365" type="indirect"></relation><relation active="#struct-300261" type="indirect"></relation><relation active="#struct-300360" type="indirect"></relation><relation name="UMR6174" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-423084" type="direct"><org type="department" xml:id="struct-423084" status="VALID"><orgName>Department of Formal Methods </orgName><orgName type="acronym">LORIA - FM</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-866" type="direct"><org type="laboratory" xml:id="struct-866" status="VALID"><idno type="IdRef">152639071</idno><idno type="RNSR">200412232H</idno><orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies</orgName><orgName type="acronym">FEMTO-ST</orgName><desc><address><addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine><country key="FR"></country></address><ref type="url">http://www.femto-st.fr</ref></desc><listRelation><relation active="#struct-242365" type="direct"></relation><relation active="#struct-300261" type="direct"></relation><relation active="#struct-300360" type="direct"></relation><relation name="UMR6174" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-242365" type="indirect"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle><tutelle active="#struct-300261" type="indirect"><org type="institution" xml:id="struct-300261" status="VALID"><orgName>Université de Technologie de Belfort-Montbeliard</orgName><orgName type="acronym">UTBM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300360" type="indirect"><org type="institution" xml:id="struct-300360" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName><orgName type="acronym">ENSMM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle name="UMR6174" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName><placeName><settlement type="city" wicri:auto="siege">Belfort</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de technologie de Belfort-Montbéliard</orgName></affiliation></author><author><name sortKey="Dadeau, Frederic" sort="Dadeau, Frederic" uniqKey="Dadeau F" first="Frédéric" last="Dadeau">Frédéric Dadeau</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-189789" status="VALID"><idno type="RNSR">200318302K</idno><orgName>Combination of approaches to the security of infinite states systems</orgName><orgName type="acronym">CASSIS</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/cassis</ref></desc><listRelation><relation active="#struct-423084" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-129671" type="direct"></relation><relation active="#struct-866" type="direct"></relation><relation active="#struct-242365" type="indirect"></relation><relation active="#struct-300261" type="indirect"></relation><relation active="#struct-300360" type="indirect"></relation><relation name="UMR6174" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-423084" type="direct"><org type="department" xml:id="struct-423084" status="VALID"><orgName>Department of Formal Methods </orgName><orgName type="acronym">LORIA - FM</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-129671" type="direct"><org type="laboratory" xml:id="struct-129671" status="VALID"><idno type="RNSR">198618246Y</idno><orgName>INRIA Nancy - Grand Est</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/nancy</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-866" type="direct"><org type="laboratory" xml:id="struct-866" status="VALID"><idno type="IdRef">152639071</idno><idno type="RNSR">200412232H</idno><orgName>Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies</orgName><orgName type="acronym">FEMTO-ST</orgName><desc><address><addrLine>32 avenue de l'Observatoire 25044 BESANCON CEDEX</addrLine><country key="FR"></country></address><ref type="url">http://www.femto-st.fr</ref></desc><listRelation><relation active="#struct-242365" type="direct"></relation><relation active="#struct-300261" type="direct"></relation><relation active="#struct-300360" type="direct"></relation><relation name="UMR6174" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-242365" type="indirect"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle><tutelle active="#struct-300261" type="indirect"><org type="institution" xml:id="struct-300261" status="VALID"><orgName>Université de Technologie de Belfort-Montbeliard</orgName><orgName type="acronym">UTBM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300360" type="indirect"><org type="institution" xml:id="struct-300360" status="VALID"><orgName>Ecole Nationale Supérieure de Mécanique et des Microtechniques</orgName><orgName type="acronym">ENSMM</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle name="UMR6174" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName><placeName><settlement type="city" wicri:auto="siege">Belfort</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de technologie de Belfort-Montbéliard</orgName></affiliation></author><author><name sortKey="Ledru, Yves" sort="Ledru, Yves" uniqKey="Ledru Y" first="Yves" last="Ledru">Yves Ledru</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-401585" status="INCOMING"><orgName>VASCO</orgName><desc><address><country key="FR"></country></address></desc><listRelation><relation active="#struct-24471" type="direct"></relation><relation active="#struct-300275" type="indirect"></relation><relation active="#struct-51016" type="direct"></relation><relation active="#struct-3886" type="indirect"></relation><relation name="UMR5217" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-24471" type="direct"><org type="laboratory" xml:id="struct-24471" status="VALID"><orgName>Laboratoire d'Informatique de Grenoble</orgName><orgName type="acronym">LIG</orgName><desc><address><addrLine>UMR 5217 - Laboratoire LIG - 38041 Grenoble cedex 9 - France Tél. : +33 (0)4 76 51 43 61 - Fax : +33 (0)4 76 51 49 85</addrLine><country key="FR"></country></address><ref type="url">http://www.liglab.fr/</ref></desc><listRelation><relation active="#struct-300275" type="direct"></relation><relation active="#struct-51016" type="direct"></relation><relation active="#struct-3886" type="direct"></relation><relation name="UMR5217" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300275" type="indirect"><org type="institution" xml:id="struct-300275" status="VALID"><orgName>Institut National Polytechnique de Grenoble (INPG)</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-51016" type="direct"><org type="institution" xml:id="struct-51016" status="OLD"><orgName>Université Joseph Fourier</orgName><orgName type="acronym">UJF</orgName><date type="end">2015-12-31</date><desc><address><addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine><country key="FR"></country></address><ref type="url">http://www.ujf-grenoble.fr/</ref></desc></org></tutelle><tutelle active="#struct-3886" type="indirect"><org type="institution" xml:id="struct-3886" status="OLD"><orgName>Université Pierre Mendès France</orgName><orgName type="acronym">Grenoble 2 UPMF</orgName><date type="end">2015-12-31</date><desc><address><addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine><country key="FR"></country></address><ref type="url">http://www.upmf-grenoble.fr/</ref></desc></org></tutelle><tutelle name="UMR5217" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Grenoble</settlement><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region></placeName><orgName type="university">Université Joseph Fourier</orgName><orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName><placeName><settlement type="city">Grenoble</settlement><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region></placeName><orgName type="university">Université Pierre-Mendès-France</orgName><orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName></affiliation></author><author><name sortKey="Du Bousquet, Lydie" sort="Du Bousquet, Lydie" uniqKey="Du Bousquet L" first="Lydie" last="Du Bousquet">Lydie Du Bousquet</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-390432" status="INCOMING"><orgName>VASCO</orgName><desc><address><country key="FR"></country></address></desc><listRelation><relation active="#struct-24471" type="direct"></relation><relation active="#struct-300275" type="indirect"></relation><relation active="#struct-51016" type="indirect"></relation><relation active="#struct-3886" type="indirect"></relation><relation name="UMR5217" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-24471" type="direct"><org type="laboratory" xml:id="struct-24471" status="VALID"><orgName>Laboratoire d'Informatique de Grenoble</orgName><orgName type="acronym">LIG</orgName><desc><address><addrLine>UMR 5217 - Laboratoire LIG - 38041 Grenoble cedex 9 - France Tél. : +33 (0)4 76 51 43 61 - Fax : +33 (0)4 76 51 49 85</addrLine><country key="FR"></country></address><ref type="url">http://www.liglab.fr/</ref></desc><listRelation><relation active="#struct-300275" type="direct"></relation><relation active="#struct-51016" type="direct"></relation><relation active="#struct-3886" type="direct"></relation><relation name="UMR5217" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300275" type="indirect"><org type="institution" xml:id="struct-300275" status="VALID"><orgName>Institut National Polytechnique de Grenoble (INPG)</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-51016" type="indirect"><org type="institution" xml:id="struct-51016" status="OLD"><orgName>Université Joseph Fourier</orgName><orgName type="acronym">UJF</orgName><date type="end">2015-12-31</date><desc><address><addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine><country key="FR"></country></address><ref type="url">http://www.ujf-grenoble.fr/</ref></desc></org></tutelle><tutelle active="#struct-3886" type="indirect"><org type="institution" xml:id="struct-3886" status="OLD"><orgName>Université Pierre Mendès France</orgName><orgName type="acronym">Grenoble 2 UPMF</orgName><date type="end">2015-12-31</date><desc><address><addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine><country key="FR"></country></address><ref type="url">http://www.upmf-grenoble.fr/</ref></desc></org></tutelle><tutelle name="UMR5217" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Grenoble</settlement><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region></placeName><orgName type="university">Université Joseph Fourier</orgName><orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName><placeName><settlement type="city">Grenoble</settlement><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region></placeName><orgName type="university">Université Pierre-Mendès-France</orgName><orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName></affiliation></author><author><name sortKey="Triki, Taha" sort="Triki, Taha" uniqKey="Triki T" first="Taha" last="Triki">Taha Triki</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-401585" status="INCOMING"><orgName>VASCO</orgName><desc><address><country key="FR"></country></address></desc><listRelation><relation active="#struct-24471" type="direct"></relation><relation active="#struct-300275" type="indirect"></relation><relation active="#struct-51016" type="direct"></relation><relation active="#struct-3886" type="indirect"></relation><relation name="UMR5217" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-24471" type="direct"><org type="laboratory" xml:id="struct-24471" status="VALID"><orgName>Laboratoire d'Informatique de Grenoble</orgName><orgName type="acronym">LIG</orgName><desc><address><addrLine>UMR 5217 - Laboratoire LIG - 38041 Grenoble cedex 9 - France Tél. : +33 (0)4 76 51 43 61 - Fax : +33 (0)4 76 51 49 85</addrLine><country key="FR"></country></address><ref type="url">http://www.liglab.fr/</ref></desc><listRelation><relation active="#struct-300275" type="direct"></relation><relation active="#struct-51016" type="direct"></relation><relation active="#struct-3886" type="direct"></relation><relation name="UMR5217" active="#struct-441569" type="direct"></relation></listRelation></org></tutelle><tutelle active="#struct-300275" type="indirect"><org type="institution" xml:id="struct-300275" status="VALID"><orgName>Institut National Polytechnique de Grenoble (INPG)</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-51016" type="direct"><org type="institution" xml:id="struct-51016" status="OLD"><orgName>Université Joseph Fourier</orgName><orgName type="acronym">UJF</orgName><date type="end">2015-12-31</date><desc><address><addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine><country key="FR"></country></address><ref type="url">http://www.ujf-grenoble.fr/</ref></desc></org></tutelle><tutelle active="#struct-3886" type="indirect"><org type="institution" xml:id="struct-3886" status="OLD"><orgName>Université Pierre Mendès France</orgName><orgName type="acronym">Grenoble 2 UPMF</orgName><date type="end">2015-12-31</date><desc><address><addrLine>BP 47 - 38040 Grenoble Cedex 9</addrLine><country key="FR"></country></address><ref type="url">http://www.upmf-grenoble.fr/</ref></desc></org></tutelle><tutelle name="UMR5217" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="IdRef">02636817X</idno><idno type="ISNI">0000000122597504</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Grenoble</settlement><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region></placeName><orgName type="university">Université Joseph Fourier</orgName><orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName><placeName><settlement type="city">Grenoble</settlement><region type="region" nuts="2">Auvergne-Rhône-Alpes</region><region type="old region" nuts="2">Rhône-Alpes</region></placeName><orgName type="university">Université Pierre-Mendès-France</orgName><orgName type="institution" wicri:auto="newGroup">Université de Grenoble</orgName></affiliation></author><author><name sortKey="Taha, Safouan" sort="Taha, Safouan" uniqKey="Taha S" first="Safouan" last="Taha">Safouan Taha</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-239259" status="VALID"><orgName>SUPELEC Systems Sciences (E3S) - Computer Science Department</orgName><orgName type="acronym">SUPELEC Systems Sciences (E3S)</orgName><desc><address><addrLine>3 rue Joliot-Curie F-91192 Gif-sur-Yvette cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.supelec.fr/</ref></desc><listRelation><relation active="#struct-242365" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-242365" type="direct"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName></affiliation></author><author><name sortKey="Legeard, Bruno" sort="Legeard, Bruno" uniqKey="Legeard B" first="Bruno" last="Legeard">Bruno Legeard</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-203647" status="VALID"><orgName>Smartesting</orgName><desc><address><addrLine>TEMIS Innovation 18 Rue Alain Savary 25000 BESANCON</addrLine><country key="FR"></country></address><ref type="url">http://www.smartesting.com</ref></desc><listRelation><relation active="#struct-367314" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-367314" type="direct"><org type="institution" xml:id="struct-367314" status="INCOMING"><orgName>Smartesting</orgName><desc><address><country key="FR"></country></address></desc></org></tutelle></tutelles></hal:affiliation><country>France</country></affiliation></author><author><name sortKey="Botella, Julien" sort="Botella, Julien" uniqKey="Botella J" first="Julien" last="Botella">Julien Botella</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-239873" status="VALID"><orgName>Smartesting</orgName><orgName type="acronym">Smartesting</orgName><desc><address><addrLine>Besançon</addrLine><country key="FR"></country></address></desc><listRelation><relation active="#struct-242365" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-242365" type="direct"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName></affiliation></author><author><name sortKey="Chetali, Boutheina" sort="Chetali, Boutheina" uniqKey="Chetali B" first="Boutheina" last="Chetali">Boutheina Chetali</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-243738" status="VALID"><orgName>GEMALTO</orgName><orgName type="acronym">GEMALTO</orgName><desc><address><country key="FR"></country></address><ref type="url">https://www.gemalto.com/</ref></desc><listRelation><relation active="#struct-242365" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-242365" type="direct"><org type="institution" xml:id="struct-242365" status="VALID"><idno type="IdRef">026403188</idno><idno type="ISNI">0000 0001 2188 3779 </idno><orgName>Université de Franche-Comté</orgName><orgName type="acronym">UFC</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.univ-fcomte.fr</ref></desc></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city" wicri:auto="siege">Besançon</settlement><region type="region" nuts="2">Franche-Comté</region></placeName><orgName type="university">Université de Franche-Comté</orgName><orgName type="institution" wicri:auto="newGroup">Université de Bourgogne Franche-Comté</orgName></affiliation></author><author><name sortKey="Julien, Bernet" sort="Julien, Bernet" uniqKey="Julien B" first="Bernet" last="Julien">Bernet Julien</name></author><author><name sortKey="Rouillard, David" sort="Rouillard, David" uniqKey="Rouillard D" first="David" last="Rouillard">David Rouillard</name></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="pt">no abstract</div></front></TEI><affiliations><list><country><li>France</li></country><region><li>Auvergne-Rhône-Alpes</li><li>Franche-Comté</li><li>Grand Est</li><li>Lorraine (région)</li><li>Rhône-Alpes</li></region><settlement><li>Belfort</li><li>Besançon</li><li>Grenoble</li><li>Metz</li><li>Nancy</li></settlement><orgName><li>Université Joseph Fourier</li><li>Université Pierre-Mendès-France</li><li>Université de Bourgogne Franche-Comté</li><li>Université de Franche-Comté</li><li>Université de Grenoble</li><li>Université de Lorraine</li><li>Université de technologie de Belfort-Montbéliard</li></orgName></list><tree><noCountry><name sortKey="Julien, Bernet" sort="Julien, Bernet" uniqKey="Julien B" first="Bernet" last="Julien">Bernet Julien</name><name sortKey="Rouillard, David" sort="Rouillard, David" uniqKey="Rouillard D" first="David" last="Rouillard">David Rouillard</name></noCountry><country name="France"><region name="Grand Est"><name sortKey="Cabrera Castillos, Kalou" sort="Cabrera Castillos, Kalou" uniqKey="Cabrera Castillos K" first="Kalou" last="Cabrera Castillos">Kalou Cabrera Castillos</name></region><name sortKey="Botella, Julien" sort="Botella, Julien" uniqKey="Botella J" first="Julien" last="Botella">Julien Botella</name><name sortKey="Chetali, Boutheina" sort="Chetali, Boutheina" uniqKey="Chetali B" first="Boutheina" last="Chetali">Boutheina Chetali</name><name sortKey="Dadeau, Frederic" sort="Dadeau, Frederic" uniqKey="Dadeau F" first="Frédéric" last="Dadeau">Frédéric Dadeau</name><name sortKey="Du Bousquet, Lydie" sort="Du Bousquet, Lydie" uniqKey="Du Bousquet L" first="Lydie" last="Du Bousquet">Lydie Du Bousquet</name><name sortKey="Ledru, Yves" sort="Ledru, Yves" uniqKey="Ledru Y" first="Yves" last="Ledru">Yves Ledru</name><name sortKey="Legeard, Bruno" sort="Legeard, Bruno" uniqKey="Legeard B" first="Bruno" last="Legeard">Bruno Legeard</name><name sortKey="Taha, Safouan" sort="Taha, Safouan" uniqKey="Taha S" first="Safouan" last="Taha">Safouan Taha</name><name sortKey="Triki, Taha" sort="Triki, Taha" uniqKey="Triki T" first="Taha" last="Triki">Taha Triki</name></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001F13 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 001F13 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= Hal:hal-00953275
|texte= TASCCC - Project and Testing Tool (poster and demo)
}}
| This area was generated with Dilib version V0.6.33. |  |